Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
81	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
82	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software
83	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
84	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering
85	Nepravidelná slovesa z angličtiny arise [ǩɑraiz] arose [ǩɑrouz] arisen [ǩɑrizn] Add to Reading List Source URL: www.e-jazyky.cz Language: English - Date: 2010-01-07 07:33:36 FO Finite model theory
86	doi:j.apal Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2008-04-08 22:41:37 FO Metaphilosophy Age Interpretation Mathematics Model theory Logic Finite model theory
87	1TLT cruise: {,[$ Date: Niskin Add to Reading List Source URL: batsftp.bios.edu Language: English - Date: 2015-05-07 13:35:36 FO Finite model theory
88	Proceedings Template - WORD Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-06 20:08:32 Μ operator Punctuation SQL Data management Notation Computing FO Finite model theory
89	“What’s My Line?” :35 PM C HI C AGO Add to Reading List Source URL: www.rootsandculturecac.org Language: English - Date: 2011-09-23 19:30:00 FO Finite model theory
90	Correlated percolation and the Ising model Part I: Finite graphs T. Bonald March 2012 This note shows how the Fortuin-Kasteleyn percolation provides monotonicity results for the Ising model and its extension, the Potts m Add to Reading List Source URL: perso.telecom-paristech.fr Language: English - Date: 2012-03-13 05:39:30 Mathematics Probability theory Probability space Symbol

UPDATE